منابع مشابه
Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidencebased (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in realtime domain is defined for TCSM, allowing to store a system in ...
متن کاملConcurrent computing machines and physical space-time
Concrete computing machines, either sequential or concurrent, rely on an intimate relation between computation and time. We recall the general characteristic properties of physical time and of present realizations of computing systems. We emphasize the role of computing interferences, i.e. the necessity to avoid them in order to give a causal implementation to logical operations. We compare syn...
متن کاملHierarchical Concurrent Finite State Machines in Ptolemy
tics. For example, the co-design finite state machines We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is successfully integrated with synchronous dataflow (SDF) and discrete-event (DE) concurrency domains in Ptolemy. In this heterogeneous combination, the semantics of FSM, c...
متن کاملConcurrent Abstract State Machines and +CAL Programs
We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.
متن کاملAutomated Software Engineering Using Concurrent Class Machines
Concurrent Class Machines are a novel state-machine model that directly captures a variety of object-oriented concepts, including classes and inheritance, objects and object creation, methods, method invocation and exceptions, multithreading and abstract collection types. The model can be understood as a precise definition of UML activity diagrams which, at the same time, offers an executable, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1985
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/28.5.449